Spatio-temporal model checking using topochecker Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink Bertinoro, June

Source URL: www.sti.uniurb.it

CBMC: Bounded Model Checking for ANSI-C Version 1.0, 2010 Outline

Source URL: www.cprover.org

Hardware Model Checking CompetitionHWMCC’11 Chairs Armin Biere, Keijo Heljanko

Source URL: fmv.jku.at

Outline CBMC: Bounded Model Checking for ANSI-C Preliminaries BMC Basics

Source URL: www.cprover.org

A Fluid Approach to Model Checking Jane Hillston joint work with Luca Bortolussi School of Informatics

Source URL: homepages.inf.ed.ac.uk

First-Order Model Checking Problems Parameterized by the Model? Barnaby Martin Department of Computer Science, University of Durham, Science Labs, South Road, Durham DH1 3LE, U.K.

Source URL: www.bedewell.com

TAXYS : a Tool for the Development and Verification of Real-Time Embedded Systems⋆ Etienne CLOSSE1 , Michel POIZE1 , Jacques PULOU1 , Joseph SIFAKIS2 , Patrick VENIER1 , Daniel Weil1 , and Sergio YOVINE2 1

Source URL: www-verimag.imag.fr

• Hardware description languages
• Synchronous programming languages
• Software engineering
• Formal methods
• Computing
• Electronic engineering
• Esterel
• SIGNAL
• Model checking
• Embedded system
• Real-time computing
• Esterel Technologies

Probabilistic Modeling and Model Checking Erika Ábrahám RWTH Aachen University, Germany SFM’14 Tutorial June 17, 2014

Source URL: www.sti.uniurb.it

• Probability
• Probabilistic complexity theory
• Probability theory
• PRISM model checker
• Software
• Sample space
• Model checking
• Stochastic process
• Randomized algorithm

Scalable Computing: Practice and Experience Scientific International Journal for Parallel and Distributed Computing ISSN:

Source URL: www.scpe.org

• Engineering
• Computing
• Theoretical computer science
• Product testing
• Systems engineering
• Workflow technology
• Model checkers
• PRISM model checker
• Model checking
• Workflow
• Markov chain
• Reliability engineering